Optimal. Leaf size=386 \[ \frac {e \left (2 A c^4 d^3+7 b^4 B e^3-b c^3 d^2 (B d+3 A e)-b^3 c e^2 (19 B d+5 A e)+b^2 c^2 d e (15 B d+11 A e)\right ) \sqrt {d+e x}}{b^2 c^4}+\frac {e \left (6 A c^3 d^2-7 b^3 B e^2-3 b c^2 d (B d+2 A e)+b^2 c e (12 B d+5 A e)\right ) (d+e x)^{3/2}}{3 b^2 c^3}+\frac {e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) (d+e x)^{5/2}}{5 b^2 c^2}-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}-\frac {d^{7/2} (2 b B d-4 A c d+9 A b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{b^3}-\frac {(c d-b e)^{7/2} \left (4 A c^2 d-7 b^2 B e-b c (2 B d-5 A e)\right ) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 c^{9/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.79, antiderivative size = 386, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 5, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {832, 838, 840,
1180, 214} \begin {gather*} -\frac {d^{7/2} \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right ) (9 A b e-4 A c d+2 b B d)}{b^3}-\frac {(d+e x)^{7/2} \left (x \left (-b c (A e+B d)+2 A c^2 d+b^2 B e\right )+A b c d\right )}{b^2 c \left (b x+c x^2\right )}+\frac {e (d+e x)^{5/2} \left (-5 b c (A e+B d)+10 A c^2 d+7 b^2 B e\right )}{5 b^2 c^2}-\frac {(c d-b e)^{7/2} \left (-b c (2 B d-5 A e)+4 A c^2 d-7 b^2 B e\right ) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 c^{9/2}}+\frac {e (d+e x)^{3/2} \left (b^2 c e (5 A e+12 B d)-3 b c^2 d (2 A e+B d)+6 A c^3 d^2-7 b^3 B e^2\right )}{3 b^2 c^3}+\frac {e \sqrt {d+e x} \left (-b^3 c e^2 (5 A e+19 B d)+b^2 c^2 d e (11 A e+15 B d)-b c^3 d^2 (3 A e+B d)+2 A c^4 d^3+7 b^4 B e^3\right )}{b^2 c^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 214
Rule 832
Rule 838
Rule 840
Rule 1180
Rubi steps
\begin {align*} \int \frac {(A+B x) (d+e x)^{9/2}}{\left (b x+c x^2\right )^2} \, dx &=-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\int \frac {(d+e x)^{5/2} \left (\frac {1}{2} c d (2 b B d-4 A c d+9 A b e)+\frac {1}{2} e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) x\right )}{b x+c x^2} \, dx}{b^2 c}\\ &=\frac {e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) (d+e x)^{5/2}}{5 b^2 c^2}-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\int \frac {(d+e x)^{3/2} \left (\frac {1}{2} c^2 d^2 (2 b B d-4 A c d+9 A b e)+\frac {1}{2} e \left (6 A c^3 d^2-7 b^3 B e^2-3 b c^2 d (B d+2 A e)+b^2 c e (12 B d+5 A e)\right ) x\right )}{b x+c x^2} \, dx}{b^2 c^2}\\ &=\frac {e \left (6 A c^3 d^2-7 b^3 B e^2-3 b c^2 d (B d+2 A e)+b^2 c e (12 B d+5 A e)\right ) (d+e x)^{3/2}}{3 b^2 c^3}+\frac {e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) (d+e x)^{5/2}}{5 b^2 c^2}-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\int \frac {\sqrt {d+e x} \left (\frac {1}{2} c^3 d^3 (2 b B d-4 A c d+9 A b e)+\frac {1}{2} e \left (2 A c^4 d^3+7 b^4 B e^3-b c^3 d^2 (B d+3 A e)-b^3 c e^2 (19 B d+5 A e)+b^2 c^2 d e (15 B d+11 A e)\right ) x\right )}{b x+c x^2} \, dx}{b^2 c^3}\\ &=\frac {e \left (2 A c^4 d^3+7 b^4 B e^3-b c^3 d^2 (B d+3 A e)-b^3 c e^2 (19 B d+5 A e)+b^2 c^2 d e (15 B d+11 A e)\right ) \sqrt {d+e x}}{b^2 c^4}+\frac {e \left (6 A c^3 d^2-7 b^3 B e^2-3 b c^2 d (B d+2 A e)+b^2 c e (12 B d+5 A e)\right ) (d+e x)^{3/2}}{3 b^2 c^3}+\frac {e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) (d+e x)^{5/2}}{5 b^2 c^2}-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\int \frac {\frac {1}{2} c^4 d^4 (2 b B d-4 A c d+9 A b e)-\frac {1}{2} e \left (2 A c^5 d^4+7 b^5 B e^4-b c^4 d^3 (B d+4 A e)-b^4 c e^3 (26 B d+5 A e)-2 b^2 c^3 d^2 e (8 B d+7 A e)+2 b^3 c^2 d e^2 (17 B d+8 A e)\right ) x}{\sqrt {d+e x} \left (b x+c x^2\right )} \, dx}{b^2 c^4}\\ &=\frac {e \left (2 A c^4 d^3+7 b^4 B e^3-b c^3 d^2 (B d+3 A e)-b^3 c e^2 (19 B d+5 A e)+b^2 c^2 d e (15 B d+11 A e)\right ) \sqrt {d+e x}}{b^2 c^4}+\frac {e \left (6 A c^3 d^2-7 b^3 B e^2-3 b c^2 d (B d+2 A e)+b^2 c e (12 B d+5 A e)\right ) (d+e x)^{3/2}}{3 b^2 c^3}+\frac {e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) (d+e x)^{5/2}}{5 b^2 c^2}-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {2 \text {Subst}\left (\int \frac {\frac {1}{2} c^4 d^4 e (2 b B d-4 A c d+9 A b e)+\frac {1}{2} d e \left (2 A c^5 d^4+7 b^5 B e^4-b c^4 d^3 (B d+4 A e)-b^4 c e^3 (26 B d+5 A e)-2 b^2 c^3 d^2 e (8 B d+7 A e)+2 b^3 c^2 d e^2 (17 B d+8 A e)\right )-\frac {1}{2} e \left (2 A c^5 d^4+7 b^5 B e^4-b c^4 d^3 (B d+4 A e)-b^4 c e^3 (26 B d+5 A e)-2 b^2 c^3 d^2 e (8 B d+7 A e)+2 b^3 c^2 d e^2 (17 B d+8 A e)\right ) x^2}{c d^2-b d e+(-2 c d+b e) x^2+c x^4} \, dx,x,\sqrt {d+e x}\right )}{b^2 c^4}\\ &=\frac {e \left (2 A c^4 d^3+7 b^4 B e^3-b c^3 d^2 (B d+3 A e)-b^3 c e^2 (19 B d+5 A e)+b^2 c^2 d e (15 B d+11 A e)\right ) \sqrt {d+e x}}{b^2 c^4}+\frac {e \left (6 A c^3 d^2-7 b^3 B e^2-3 b c^2 d (B d+2 A e)+b^2 c e (12 B d+5 A e)\right ) (d+e x)^{3/2}}{3 b^2 c^3}+\frac {e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) (d+e x)^{5/2}}{5 b^2 c^2}-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\left (c d^4 (2 b B d-4 A c d+9 A b e)\right ) \text {Subst}\left (\int \frac {1}{-\frac {b e}{2}+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{b^3}-\frac {\left (2 \left (\frac {1}{4} e \left (2 A c^5 d^4+7 b^5 B e^4-b c^4 d^3 (B d+4 A e)-b^4 c e^3 (26 B d+5 A e)-2 b^2 c^3 d^2 e (8 B d+7 A e)+2 b^3 c^2 d e^2 (17 B d+8 A e)\right )+\frac {\frac {1}{2} e (-2 c d+b e) \left (2 A c^5 d^4+7 b^5 B e^4-b c^4 d^3 (B d+4 A e)-b^4 c e^3 (26 B d+5 A e)-2 b^2 c^3 d^2 e (8 B d+7 A e)+2 b^3 c^2 d e^2 (17 B d+8 A e)\right )+2 c \left (\frac {1}{2} c^4 d^4 e (2 b B d-4 A c d+9 A b e)+\frac {1}{2} d e \left (2 A c^5 d^4+7 b^5 B e^4-b c^4 d^3 (B d+4 A e)-b^4 c e^3 (26 B d+5 A e)-2 b^2 c^3 d^2 e (8 B d+7 A e)+2 b^3 c^2 d e^2 (17 B d+8 A e)\right )\right )}{2 b e}\right )\right ) \text {Subst}\left (\int \frac {1}{\frac {b e}{2}+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{b^2 c^4}\\ &=\frac {e \left (2 A c^4 d^3+7 b^4 B e^3-b c^3 d^2 (B d+3 A e)-b^3 c e^2 (19 B d+5 A e)+b^2 c^2 d e (15 B d+11 A e)\right ) \sqrt {d+e x}}{b^2 c^4}+\frac {e \left (6 A c^3 d^2-7 b^3 B e^2-3 b c^2 d (B d+2 A e)+b^2 c e (12 B d+5 A e)\right ) (d+e x)^{3/2}}{3 b^2 c^3}+\frac {e \left (10 A c^2 d+7 b^2 B e-5 b c (B d+A e)\right ) (d+e x)^{5/2}}{5 b^2 c^2}-\frac {(d+e x)^{7/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}-\frac {d^{7/2} (2 b B d-4 A c d+9 A b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{b^3}+\frac {(c d-b e)^{7/2} \left (2 b B c d-4 A c^2 d+7 b^2 B e-5 A b c e\right ) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 c^{9/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.92, size = 336, normalized size = 0.87 \begin {gather*} \frac {\frac {b \sqrt {d+e x} \left (-5 A c \left (6 c^4 d^4 x+15 b^4 e^4 x+3 b c^3 d^3 (d-4 e x)+2 b^3 c e^3 x (-19 d+5 e x)-2 b^2 c^2 e^2 x \left (-9 d^2+13 d e x+e^2 x^2\right )\right )+b B x \left (15 c^4 d^4+105 b^4 e^4+10 b^3 c e^3 (-32 d+7 e x)-2 b^2 c^2 e^2 \left (-153 d^2+109 d e x+7 e^2 x^2\right )+6 b c^3 e \left (-10 d^3+36 d^2 e x+7 d e^2 x^2+e^3 x^3\right )\right )\right )}{c^4 x (b+c x)}+\frac {15 (-c d+b e)^{7/2} \left (-2 b B c d+4 A c^2 d-7 b^2 B e+5 A b c e\right ) \tan ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {-c d+b e}}\right )}{c^{9/2}}-15 d^{7/2} (2 b B d-4 A c d+9 A b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{15 b^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.68, size = 548, normalized size = 1.42 Too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 846 vs.
\(2 (380) = 760\).
time = 0.83, size = 846, normalized size = 2.19 \begin {gather*} \frac {{\left (2 \, B b d^{5} - 4 \, A c d^{5} + 9 \, A b d^{4} e\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-d}}\right )}{b^{3} \sqrt {-d}} - \frac {{\left (2 \, B b c^{5} d^{5} - 4 \, A c^{6} d^{5} - B b^{2} c^{4} d^{4} e + 11 \, A b c^{5} d^{4} e - 16 \, B b^{3} c^{3} d^{3} e^{2} - 4 \, A b^{2} c^{4} d^{3} e^{2} + 34 \, B b^{4} c^{2} d^{2} e^{3} - 14 \, A b^{3} c^{3} d^{2} e^{3} - 26 \, B b^{5} c d e^{4} + 16 \, A b^{4} c^{2} d e^{4} + 7 \, B b^{6} e^{5} - 5 \, A b^{5} c e^{5}\right )} \arctan \left (\frac {\sqrt {x e + d} c}{\sqrt {-c^{2} d + b c e}}\right )}{\sqrt {-c^{2} d + b c e} b^{3} c^{4}} + \frac {{\left (x e + d\right )}^{\frac {3}{2}} B b c^{4} d^{4} e - 2 \, {\left (x e + d\right )}^{\frac {3}{2}} A c^{5} d^{4} e - \sqrt {x e + d} B b c^{4} d^{5} e + 2 \, \sqrt {x e + d} A c^{5} d^{5} e - 4 \, {\left (x e + d\right )}^{\frac {3}{2}} B b^{2} c^{3} d^{3} e^{2} + 4 \, {\left (x e + d\right )}^{\frac {3}{2}} A b c^{4} d^{3} e^{2} + 4 \, \sqrt {x e + d} B b^{2} c^{3} d^{4} e^{2} - 5 \, \sqrt {x e + d} A b c^{4} d^{4} e^{2} + 6 \, {\left (x e + d\right )}^{\frac {3}{2}} B b^{3} c^{2} d^{2} e^{3} - 6 \, {\left (x e + d\right )}^{\frac {3}{2}} A b^{2} c^{3} d^{2} e^{3} - 6 \, \sqrt {x e + d} B b^{3} c^{2} d^{3} e^{3} + 6 \, \sqrt {x e + d} A b^{2} c^{3} d^{3} e^{3} - 4 \, {\left (x e + d\right )}^{\frac {3}{2}} B b^{4} c d e^{4} + 4 \, {\left (x e + d\right )}^{\frac {3}{2}} A b^{3} c^{2} d e^{4} + 4 \, \sqrt {x e + d} B b^{4} c d^{2} e^{4} - 4 \, \sqrt {x e + d} A b^{3} c^{2} d^{2} e^{4} + {\left (x e + d\right )}^{\frac {3}{2}} B b^{5} e^{5} - {\left (x e + d\right )}^{\frac {3}{2}} A b^{4} c e^{5} - \sqrt {x e + d} B b^{5} d e^{5} + \sqrt {x e + d} A b^{4} c d e^{5}}{{\left ({\left (x e + d\right )}^{2} c - 2 \, {\left (x e + d\right )} c d + c d^{2} + {\left (x e + d\right )} b e - b d e\right )} b^{2} c^{4}} + \frac {2 \, {\left (3 \, {\left (x e + d\right )}^{\frac {5}{2}} B c^{8} e^{2} + 15 \, {\left (x e + d\right )}^{\frac {3}{2}} B c^{8} d e^{2} + 90 \, \sqrt {x e + d} B c^{8} d^{2} e^{2} - 10 \, {\left (x e + d\right )}^{\frac {3}{2}} B b c^{7} e^{3} + 5 \, {\left (x e + d\right )}^{\frac {3}{2}} A c^{8} e^{3} - 120 \, \sqrt {x e + d} B b c^{7} d e^{3} + 60 \, \sqrt {x e + d} A c^{8} d e^{3} + 45 \, \sqrt {x e + d} B b^{2} c^{6} e^{4} - 30 \, \sqrt {x e + d} A b c^{7} e^{4}\right )}}{15 \, c^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 6.71, size = 2500, normalized size = 6.48 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________